Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
491	On Herbrand’s Theorem Samuel R. Buss University of California, San Diego Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-06-25 19:08:00 Model theory Predicate logic Metalogic Herbrandization First-order logic Sequent calculus Skolem normal form Well-formed formula Prenex normal form Logic Mathematical logic Proof theory
492	[removed]Propositional models Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:16 Propositional calculus Boolean algebra Algebraic logic Logic Truth table Boolean function Canonical form Predicate Logical connective Mathematical logic Mathematics Abstract algebra
493	Curriculum Vitae Oliver Kullmann May 3, 2014 Contents 1 Personal information Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2014-05-03 07:04:35 Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability Conjunctive normal form Unsatisfiable core Theoretical computer science Mathematics Applied mathematics
494	Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2003-12-16 10:28:26 Models of computation FO Finite model theory If and only if Logical connective Automata theory Interpretation Conjunctive normal form Petri net Mathematics Theoretical computer science Logic
495	DEFINING TOTALITY IN THE ENUMERATION DEGREES MINGZHONG CAI, HRISTO A. GANCHEV, STEFFEN LEMPP, JOSEPH S. MILLER, AND MARIYA I. SOSKOVA Abstract. We show that if A and B form a nontrivial K-pair, then there is a semi-compu Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2014-01-28 17:21:47 Mathematical logic Field extension Rational number Computability theory Primitive recursive function Mathematics Field theory Enumeration
496	A Differential Diagnostic System based on a Java Framework for Intelligent Systems by Holger Flier Add to Reading List Source URL: www.utdallas.edu Language: English - Date: 2006-06-28 21:44:26 Logic programming Logic Clause Predicate logic Literal Java Conjunctive normal form Tseitin-Transformation Propositional calculus Mathematical logic Computing
497	PDL as a Multi-Agent Strategy Logic ∗ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:26:56 Mathematical logic Nash equilibrium Strategic dominance Common knowledge Cooperative game Modal logic Normal-form game Best response Determinacy Game theory Logic Problem solving
498	Montague’s “Linguistic” Work: Motivations, Trajectory, Attitudes Barbara Partee – University of Massachusetts, Amherst Abstract. The history of formal semantics is a history of evolving ideas about logical form, Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2013-04-05 15:18:49 Formal languages Philosophical logic Philosophy of language Grammar Montague grammar Richard Montague Intensional logic Formal semantics Symbol Logic Semantics Philosophy
499	Adv. Studies Theor. Phys., Vol. 5, 2011, no. 4, [removed]A Numerical Computation of Non-Dimensional Form of a Mathematical Model of Soil Salinity Profile in a Rice Field near Marine Shrimp Aquaculture Farm Add to Reading List Source URL: www.m-hikari.com Language: English - Date: 2011-01-21 14:56:31 Logic Abstraction Model theory Metalogic Structure
500	Combinational Equivalence Checking Using Satisfiability and Recursive Learning João Marques-Silva Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 13:36:52 Boolean algebra Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean satisfiability problem Conjunctive normal form Binary decision diagram Formal equivalence checking Theoretical computer science Mathematics Applied mathematics

UPDATE